Aristotle, Boole, and Categories Vaughan Pratt October 12, 2015 Abstract We propose new axiomatizations of the 24 assertoric syllogisms of Arisn totle’s syllogistic, and the 22 n-ary operations of Boole’s algebraic l

Source URL: boole.stanford.edu

• Logic
• Classical logic
• Arguments
• Term logic
• Syllogism
• Rules of inference
• Propositional calculus
• Axiom
• Hypothetical syllogism
• Disjunctive syllogism
• Inference
• First-order logic

Graph based Synthesis for Low power Combinational logic with a maximal/minimal disjoint Function Set ABSTRACT This paper discusses a new, systematic approach to the synthesis of a class of non-regenerative Boolean networ

Source URL: apt.cs.manchester.ac.uk

Two-Variable Logic on Data Trees and XML Reasoning∗ [Extended Abstract] Mikołaj Bojanczyk ´ Claire David

Source URL: www-igm.univ-mlv.fr

Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of Milan

Source URL: logica.dmi.unisa.it

• Algebra
• Mathematics
• Abstract algebra
• Algebraic logic
• Lattice theory
• Algebraic structures
• Fuzzy logic
• Adjoint functors
• Boolean algebra
• Heyting algebra
• Universal property
• MV-algebra

The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS)

Source URL: www-verimag.imag.fr

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Models of computation
• Parallel computing
• Programming language semantics
• Denotational semantics
• Abstract interpretation
• Semantics
• Astre

Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Source URL: www-verimag.imag.fr

• Operator theory
• Theoretical computer science
• Measure theory
• Mathematics
• Analysis
• Denotational semantics
• Logic in computer science
• Hermitian adjoint
• Support
• Expected value
• Abstract interpretation
• Adjoint functors

Ambiguous Conditionals∗ Karolina Krzyżanowska Faculty of Philosophy, University of Groningen Abstract

Source URL: karolinakrzyzanowska.com

• Logic
• Philosophy
• Reasoning
• Abstraction
• Conditionals
• Epistemology
• Logical consequence
• Logical connectives
• Indicative conditional
• Abductive reasoning
• Inference
• Conditional sentence

A reasoning approach to knowledge, introspection and unawareness∗ Olivier Gossner†and Elias Tsakas‡ July 24, 2009 Abstract

Source URL: ogossner.free.fr

• Philosophy
• Logic
• Abstraction
• Philosophical logic
• Axiom
• Constructible universe
• Epistemology
• A priori and a posteriori
• Linear temporal logic

Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Source URL: www-verimag.imag.fr

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Programming language semantics
• Measure theory
• Boolean algebra
• Probability theory
• Denotational semantics
• Predicate transformer semantics
• Sigma-algebra
• PP

Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l

Source URL: folk.uib.no

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Formal languages
• Logical truth
• Metalogic
• First-order logic
• Interpretation
• Substitution
• Well-formed formula
• Satisfiability